A Novel Framework for the Evaluation, Verification and Validation of Distributed Applications and Services

نویسندگان

  • ANTONIO LIOTTA
  • CARMELO RAGUSA
  • MARCO BALLETTE
چکیده

A recurrent problem encountered by distribute system designers is that of verifying, validating and evaluating the performance of complex software systems. The behavior of these systems generally depends on how the various software entities inter-relate and on the status of the underlying inter-network. Although many aspects of the distributed software engineering process have been addressed, there is still the need to investigate suitable simulation tools and methodologies that provide support to all seven OSI layers and are geared for modeling distributed applications over simulated inter-networks. In this paper we present such a simulation framework, illustrating its use and applicability through a number of example applications including application-level networking, mobile agent systems, GRID computing, and mobile services for 3G. Starting from the lessons learned from implementing those applications we propose a general methodology for the assessment of distributed systems and applications. Key-Words: Application-level simulation; simulation tools; parallel and distributed computing.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Presenting a Framework for Supporting Life-long Learning in Iranian public libraries and Its validation

Purpose: Since nowadays public libraries are considered lifelong learning centers, these centers must have the required standards and conditions to support lifelong learning in order that they could help society members to achieve their personal and professional learning more effectively. Accordingly, it is necessary to develop and provide a mechanism to support lifelong learning in public libr...

متن کامل

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

Verification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme

In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003